书籍列表

AUTOMATED THEOREM PROVING:THEORY AND PRACTICE 封面
AUTOMATED THEOREM PROVING:T...

作者：MONTY NEWBORN
旷世之战 IBM深蓝夺冠之路 封面
旷世之战 IBM深蓝夺冠之路

作者：（美）Monty Newborn著...
返回首页